전순서 관계(r1로 되돌리기)